_require "123_functor.smi"
